大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Nobel Symposium 的图书(共2391本)

Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

0
索取号：
作者：Arbab、 Farhad.、脰lveczky、 Peter Csaba.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Quantum Interaction [electronic resource] : 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, Revised Selected Papers

0
索取号：
作者：Busemeyer、 Jerome R.、Dubois、 Fran莽ois.、Lambert-Mogiliansky、 Ariane.、Melucci、 Massimo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Cyberspace Safety and Security [electronic resource] : 4th International Symposium, CSS 2012, Melbourne, Australia, December 12-13, 2012. Proceedings

0
索取号：
作者：Xiang、 Yang.、Lopez、 Javier.、Kuo、 C.-C. Jay.、Zhou、 Wanlei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Algorithms and Computation [electronic resource] : 23rd International Symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012. Proceedings

0
索取号：
作者：Chao、 Kun-Mao.、Hsu、 Tsan-sheng.、Lee、 Der-Tsai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Programming Languages and Systems [electronic resource] : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings

0
索取号：
作者：Jhala、 Ranjit.、Igarashi、 Atsushi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Foundations of Intelligent Systems [electronic resource] : 20th International Symposium, ISMIS 2012, Macau, China, December 4-7, 2012. Proceedings

0
索取号：
作者：Chen、 Li.、Felfernig、 Alexander.、Liu、 Jiming.、Ra艣、 Zbigniew W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Artificial Intelligence - SBIA 2012 [electronic resource] : 21th Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012. Proceedings

0
索取号：
作者：Barros、 Leliane N.、Finger、 Marcelo.、Pozo、 Aurora T.、Gimen茅nez-Lugo、 Gustavo A.、Castilho、 Marcos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Implementation and Application of Functional Languages [electronic resource] : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

0
索取号：
作者：Gill、 Andy.、Hage、 Jurriaan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computational Intelligence and Intelligent Systems [electronic resource] : 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings

0
索取号：
作者：Li、 Zhenhua.、Li、 Xiang.、Liu、 Yong.、Cai、 Zhihua.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Business Information Systems Workshops [electronic resource] : BIS 2012 International Workshops and Future Internet Symposium, Vilnius, Lithuania, May 21-23, 2012 Revised Papers

0
索取号：
作者：Abramowicz、 Witold.、Domingue、 John.、W臋cel、 Krzysztof.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Applications of Graph Transformations with Industrial Relevance [electronic resource] : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers

0
索取号：
作者：Sch眉rr、 Andy.、Varr贸、 D谩niel.、Varr贸、 Gergely.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Intelligent Data Analysis XI [electronic resource] : 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012. Proceedings

0
索取号：
作者：Hollm茅n、 Jaakko.、Klawonn、 Frank.、Tucker、 Allan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

String Processing and Information Retrieval [electronic resource] : 19th International Symposium, SPIRE 2012, Cartagena de Indias, Colombia, October 21-25, 2012. Proceedings

0
索取号：
作者：Calder贸n-Benavides、 Liliana.、Gonz谩lez-Caro、 Cristina.、Ch谩vez、 Edgar.、Ziviani、 Nivio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Data-Driven Process Discovery and Analysis [electronic resource] : First International Symposium, SIMPDA 2011, Campione d鈥橧talia, Italy, June 29 鈥ʵly 1, 2011, Revised Selected Papers

0
索取号：
作者：Aberer、 Karl.、Damiani、 Ernesto.、Dillon、 Tharam.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.